many sorted predicate calculus
多种类谓词演算
热门查询
- nationalistic adj. 民族主义的；国家的
- praiseworthy adj. 值得称赞的；可嘉的
- detrimentally adv. 有害地，不利地
- linage n. 行数；排列；按行数支付
- newsflash n. 简明新闻
- stakeout n. 监视
- architectural adj. 建筑学的；建筑上的；符合建筑法的
- voluptuousness n. 性感；淫乐；感官享受
- fibre n. 纤维；纤维制品
- threading n. 穿线；车螺纹；扣纹 v. 穿过；穿线于…；装胶卷于…；使交织；编织（thread的ing形式）
- lantern n. 灯笼；提灯；灯笼式天窗
- coupe n. 小轿车；双座四轮轿式马车 n. (Coupe)人名；(英)库普
- Pareto n. 帕雷托（意大利经济学家）
- dickhead n. 白痴；笨蛋
- stuporous adj. 昏迷的，不省人事的；无感觉的
- breakfront n. 断层式橱柜或书架 adj. 断层式的
- psoriasis n. [皮肤] 牛皮癣；银屑癣
- insofar adv. 在…的范围；在…情况下
- distancing 距离
- darnedest 该死 十足（darnedest的最高级）
考试词汇表
- bolted through stay
- bolts from the blue
- boltzmann condition
- boltzmanns constant
- bolyle-charle's law
- bomb adapterbooster
- bomb blanket attack
- bomb complete round
- bomb control system
- bomb disposal squad
- bomb door mechanism
- bomb oxidation test
- bomb reconnaissance
- bombard sb with sth
- bombarding particle
- bombardment by ions
- bombardment heating
- bombus trifasciatus
- bombycilla japonica
- bombylius watanabei
